package tr.edu.ege.kipler.satisfiability.container.operational;

/**
 * 
 * @author İnanç Seylan
 *
 */
public enum FilterType {
	TYPED_NEIGHBOR, TYPED_SUCCESSOR, TYPED_SAFE_NEIGHBOR, TYPED_BLOCKABLE_PREDECESSOR, TYPED_NOMINAL_NEIGHBOR;
}
